expect fun foo(my: My)